package tr.edu.ege.kipler.syntax.atomicformula;

import tr.edu.ege.kipler.syntax.WorldElement;

/**
 * The abstract class which is a supertype of all formulas.
 * 
 * @author İnanç Seylan
 * 
 */
public abstract class Formula implements WorldElement {

	/**
	 * @return the maximal depth of nested modal operators in this formula.
	 */
	public int getModalDepth() {
		ModalDepthVisitor mdv = new ModalDepthVisitor();
		this.accept(mdv);
		return mdv.getDepth();
	}
}
